1. Automata, languages and programming :
Author: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Machine theory -- Congresses.,Machine theory.
Classification :
QA267
.
J543
1991
2. Computational Logic - CL 2000 :
Author: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture.,Computer science.,Software engineering.
Classification :
QA76
.
9
.
L63
E358
2000
3. Finite model theory and its applications
Author: Erich Gradel ... [et al.]&
Library: Library of Institute For Color Science and Technology (Tehran)
Subject: Finite model theory,Computational complexity,Constraint databases
Classification :
{
1648
},
06fdfb40a6eef9acf992e8ee6bc47b2a
4. Finite model theory and its applications
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Finite model theory. ; Computational complexity. ; Constraint databases. ;
5. Finite model theory and its applications
Author: / Erich Gradel ... [et al.]
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computational complexity,Constraint databases,Finite model theory
Classification :
QA
9
.
7
.
F56
6. Finite model theory and its applications
Author: / Erich Gradel ... [et al.]
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Finite model theory,Computational complexity,Constraint databases
Classification :
QA
9
.
7
.
F56
2007
